Coco: Runtime Reasoning about Conflicting Commitments
نویسندگان
چکیده
To interact effectively, agents must enter into commitments. What should an agent do when these commitments conflict? We describe Coco, an approach for reasoning about which specific commitments apply to specific parties in light of general types of commitments, specific circumstances, and dominance relations among specific commitments. Coco adapts answer-set programming to identify a maximal set of nondominated commitments. It provides a modeling language and tool geared to support practical applications.
منابع مشابه
Reasoning intra-dependency in commitments for robust scheduling
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considering the active role of agents in them. Therefore, in this paper we propose to augment agents with the ability of reasoning about and manipulating their commitments to maximize the system utility. We adopt a bottom-up appr...
متن کاملPersonLab: Person Pose Estimation and Instance Segmentation with a Bottom-Up, Part-Based, Geometric Embedding Model
We present a box-free bottom-up approach for the tasks of pose estimation and instance segmentation of people in multi-person images using an efficient single-shot model. The proposed PersonLab model tackles both semantic-level reasoning and object-part associations using part-based modeling. Our model employs a convolutional network which learns to detect individual keypoints and predict their...
متن کاملNegotiation and Joint Commitments in Multi-Agent Systems
In this paper, it is argued that negotiation can be regarded as a sociocognitive process for the transformation of joint commitments in multi-agent environments. To this end, a quantified multi-modal logical language is developed for reasoning about and representing agents’ mental attitudes. Drawing on this language, negotiation is formalised using the classical axiomatic-deductive methodology ...
متن کاملAn Experiment in Formalizing Commitments Using Action Languages
This paper investigates the use of high-level action languages for representing and reasoning about commitments in multiagent domains. The paper introduces the language Lmt with features motivated by the problem of representing commitments; in particular, it shows how Lmt can handle both simple commitment actions and complex commitment protocols. The semantics ofLmt provides a uniform solution ...
متن کاملA Retrospective on the Reactive Event Calculus and Commitment Modeling Language
Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition [34] in which we proposed a layered architecture for modeling and reasoning about social commitments. We gave emphasis to modularity and to the need of accommodating certain temporal aspects in order for a commitment modeling framework to be flexible enough to adapt to div...
متن کامل